/*
 *  Brno University of Technology
 *
 *  Copyright (C) 2009-2010 by Brno University of Technology and the contributors
 *
 *  Complete list of developers available at our web site:
 *
 *       http://spl.utko.feec.vutbr.cz
 *
 *  This program is free software: you can redistribute it and/or modify
 *  it under the terms of the GNU Lesser General Public License as published by
 *  the Free Software Foundation, either version 3 of the License, or
 *  (at your option) any later version.
 *
 *  This program is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU Lesser General Public License for more details.
 *
 *  You should have received a copy of the GNU Lesser General Public License
 *  along with this program.  If not, see http://www.gnu.org/licenses/.
 */
package cz.vutbr.feec.utko.ef.grammar;

/**
 * The Class RuleSetFromToken.
 */
public class RuleSetFromToken {
	
	/** The successors. */
	private Rule[] successors;
	
	/** The production length. */
	private int productionLength = Integer.MAX_VALUE;

	/**
	 * Instantiates a new rule set from token and defines required tokens in
	 * successors.
	 * 
	 * @param successors
	 *            the next nonterminals which are required by this class.
	 */
	public RuleSetFromToken(Rule[] successors) {
		this.successors = successors;
	}

	/**
	 * Gets the production length. i.e. minimal length of rule execution to
	 * reach terminal in each node.
	 * 
	 * @return the production length
	 */
	public int getProductionLength() {
		return productionLength;
	}

	/**
	 * Gets the set of successors for this set of rules.
	 * 
	 * @return the successors
	 */
	public Rule[] getSuccessors() {
		return successors;
	}

	/**
	 * Sets the production length.
	 * 
	 * @param productionLength
	 *            the new production length
	 */
	protected void setProductionLength(int productionLength) {
		this.productionLength = productionLength;
	}
}